Programming in Standard ML '97:
An On-line Tutorial

Stephen Gilmore
Laboratory for Foundations of Computer Science
The University of Edinburgh

September 1997
(Revised June 1998)

Standard ML is a programming language which combines the elegance of functional programming with the effectiveness of imperative programming. This tutorial introduces important concepts in the language, illustrating them with brief examples. The examples are suitable for cutting-and-pasting into an on-line session.

To navigate through the tutorial you can either move sequentially through by following the Next links or dip in and out by selecting topics from the table of contents by following the Contents link.

This tutorial is also available as a PostScript® file suitable for printing.

Note for users of Harlequin MLWorks : The examples in this tutorial assume that the Basis Library has been loaded. MLWorks users should therefore use the mlworks-basis script.

Copyright and warranty information about this tutorial.